81. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
82. 100% mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
83. 100% mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
511
.
3
G236O
1996
84. #100 mathematical proof
پدیدآورنده : #Rowan Garnier, John Taylor
موضوع : Proof theory ،Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
85. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
86. 100% mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
87. 100 mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
88. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
89. programs-as-Adapting proofs
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry
90. theory-Hybrid logic and its proof
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ; Logic, Symbolic and mathematical. ;
